6f25cc27ffb0f9605183a18ab536015417d5fa41,src/org/openstreetmap/josm/gui/mappaint/ElemStyleHandler.java,ElemStyleHandler,startElementLine,#String#Attributes#LineElemStyle#,76
Before Change
else if (atts.getQName(count).equals("dashed")) {
try
{
line.dashed=Integer.parseInt(atts.getValue(count));
} catch (NumberFormatException nfe) {
boolean dashed=Boolean.parseBoolean(atts.getValue(count));
if(dashed) {
After Change
else if (atts.getQName(count).equals("dashed")) {
try
{
String[] parts = atts.getValue(count).split(",");
line.dashed = new float[parts.length];
for (int i = 0; i < parts.length; i++) {
line.dashed[i] = (float)(Integer.parseInt(parts[i]));
}
} catch (NumberFormatException nfe) {